(echo_char): Use KEY_DESCRIPTION_SIZE to check free

memory for push_key_description.

diff --git a/src/keyboard.c b/src/keyboard.c
index ab48077dc20a3ace653248bbdcb2f1fae25b79de..05efd6908d816fe3f0f59a7ee57162d33c8184d2 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -678,7 +678,8 @@ echo_char (c)
 
       if (INTEGERP (c))
        {
-         if (ptr - current_kboard->echobuf > ECHOBUFSIZE - 6)
+         if (ptr - current_kboard->echobuf
+             > ECHOBUFSIZE - KEY_DESCRIPTION_SIZE)
            return;
 
          ptr = push_key_description (XINT (c), ptr);